Šafránek, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.73 MB

english, 2018

2

SPIE Proceedings [SPIE IS&T/SPIE 1994 International Symposium on Electronic Imaging: Science and Technology - San Jose, CA (Sunday 6 February 1994)] Image and Video Compression - Low-entropy image pyramids for efficient lossless coding and progressive transmission

Houlding, David, Vaisey, Jacques, Rabbani, Majid, Safranek, Robert J.

Year:

1994

Language:

english

File:

PDF, 801 KB

english, 1994

3

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 230 KB

english, 2018

4

SGCCS: A Graphical Language for Real-Time Coordination

David šafránek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 192 KB

english, 2003

5

Unfolding of Parametric Boolean Networks

Kolčák, Juraj, Šafránek, David, Haar, Stefan, Paulevé, Loïc

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 328 KB

english, 2018

6

E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes

David Šafránek, Jan Červený, Matěj Klement, Jana Pospíšilová, Luboš Brim, Dušan Lazár, Ladislav Nedbal

Journal:

Year:

2011

Language:

english

File:

PDF, 2.16 MB

english, 2011

7

Robustness Analysis of Stochastic Biochemical Systems

Česka, Milan, Šafránek, David, Dražan, Sven, Brim, Luboš, Fröhlich, Holger

Journal:

Year:

2014

Language:

english

File:

PDF, 3.41 MB

english, 2014

8

Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

Demko, Martin, Chrást, Lukáš, Dvořák, Pavel, Damborský, Jiří, Šafránek, David

Journal:

Year:

2019

Language:

english

File:

PDF, 1.19 MB

english, 2019

9

[IEEE 2009 International Workshop on High Performance Computational Systems Biology (HIBI) - CoSBi, Trento, Italy (2009.10.14-2009.10.16)] 2009 International Workshop on High Performance Computational Systems Biology - Computational Analysis of Large-Scale Multi-affine ODE Models

Brim, Lubos, Barnat, Jiri, Cerna, Ivana, Drazan, Sven, Fabrikova, Jana, Safranek, David

Year:

2009

Language:

english

File:

PDF, 589 KB

english, 2009

10

SPIE Proceedings [SPIE IS&T/SPIE's Symposium on Electronic Imaging: Science & Technology - San Jose, CA (Sunday 5 February 1995)] Digital Video Compression: Algorithms and Technologies 1995 - Pyramid decompositions and hierarchical motion compensation

Houlding, David, Vaisey, Jacques, Rodriguez, Arturo A., Safranek, Robert J., Delp, Edward J.

Year:

1995

Language:

english

File:

PDF, 312 KB

english, 1995

11

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 9271 || Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic

Abate, Alessandro, Šafránek, David

Year:

2015

Language:

english

File:

PDF, 4.08 MB

english, 2015

12

Architectural Interoperability Checking in Visual Coordination Networks

David Šafránek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 364 KB

english, 2007

13

Preface

Sanguinetti, Guido, Šafránek, David

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 106 KB

english, 2018

14

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

15

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Deep Abstractions of Chemical Reaction Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

16

[IEEE 2018 22nd International Conference on System Theory, Control and Computing (ICSTCC) - Sinaia, Romania (2018.10.10-2018.10.12)] 2018 22nd International Conference on System Theory, Control and Computing (ICSTCC) - Fully Automated Attractor Analysis of Cyanobacteria Models

Benes, Nikola, Brim, Lubos, Pastva, Samuel, Safranek, David, Trojak, Matej, Cerveny, Jan, Salagovic, Jakub

Year:

2018

Language:

english

File:

PDF, 363 KB

english, 2018

17

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 9271 || Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques

Abate, Alessandro, Šafránek, David

Year:

2015

Language:

english

File:

PDF, 2.17 MB

english, 2015

18

Reassessment of the Association between Guillain-Barré Syndrome and Receipt of Swine Influenza Vaccine in 1976–1977: Results of a Two-State Study

Safranek, Thomas J., Lawrence, Dale N., Kuriand, Leonard T., Culver, David H., Wiederholt, Wigbert C., Hayner, Norman S., Osterholm, Michael T., O'Brien, Peter, Hughes, James M.

Journal:

American Journal of Epidemiology

Year:

1991

Language:

english

File:

PDF, 823 KB

english, 1991

19

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 738 KB

english, 2018

20

Preface

Feret, Jérôme, Paulevé, Loïc, Šafránek, David

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 131 KB

english, 2019

21

SPIE Proceedings [SPIE IS&T/SPIE 1994 International Symposium on Electronic Imaging: Science and Technology - San Jose, CA (Sunday 6 February 1994)] Image and Video Compression - Superscalar Huffman decoder hardware design

Schwartz, Edward L., Boliek, Martin P., Allen, James D., Bednash, David W., Rabbani, Majid, Safranek, Robert J.

Year:

1994

Language:

english

File:

PDF, 255 KB

english, 1994

22

The Descriptive Epidemiology of Yersiniosis: A Multistate Study, 2005–2011

Chakraborty, Apurba, Komatsu, Kenneth, Roberts, Matthew, Collins, Jim, Beggs, Jennifer, Turabelidze, George, Safranek, Tom, Maillard, Jean-Marie, Bell, Linda J., Young, David, Marsden-Haug, Nicola, Kl

Journal:

Public Health Reports

Year:

2015

Language:

english

File:

PDF, 307 KB

english, 2015

23

Parameter space abstraction and unfolding semantics of discrete regulatory networks

Kolčák, Juraj, Šafránek, David, Haar, Stefan, Paulevé, Loïc

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

24

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

Barnat, Jiri, Brim, Lubos, Safranek, David, Vejnar, Martin

Year:

2010

Language:

english

File:

PDF, 761 KB

english, 2010

25

Parallel parameter synthesis algorithm for hybrid CTL

Beneš, Nikola, Brim, Luboš, Pastva, Samuel, Šafránek, David

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 843 KB

english, 2019

26

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - Facetal abstraction for non-linear dynamical systems based on Δ-decidable SMT

Beneš, Nikola, Brim, Luboš, Dražanová, Jana, Pastva, Samuel, Šafránek, David

Year:

2019

Language:

english

File:

PDF, 5.42 MB

english, 2019

27

Su1965 Trimodality Therapy for Oesophageal Cancer; The Cambridge Experience

Bennett, John M., Hategan, Mirela, Hindmarsh, Andrew, Gilligan, David, Qian, Wendi, Safranek, Peter M., Sujendran, Vijayendran, Hardwick, Richard H.

Journal:

Gastroenterology

Year:

2014

Language:

english

File:

PDF, 295 KB

english, 2014

28

[Lecture Notes in Computer Science] Hybrid Systems Biology Volume 9271 || Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set

Abate, Alessandro, Šafránek, David

Year:

2015

Language:

english

File:

PDF, 700 KB

english, 2015

29

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

30

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Formal Analysis of Network Motifs

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

31

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Synthesis for Vesicle Traffic Systems

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 561 KB

english, 2018

32

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) ||

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 24.28 MB

english, 2018

33

Adverse Childhood Experiences and Adult Smoking, Nebraska, 2011

Yeoman, Kristin, Safranek, Thomas, Buss, Bryan, Cadwell, Betsy L., Mannino, David

Year:

2013

Language:

english

File:

PDF, 443 KB

english, 2013

34

Visual Specification of Systems with Heterogeneous Coordination Models

David Šafránek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

35

Multistate outbreak of hemolysis in hemodialysis patients traced to faulty blood tubing sets

Duffy, Rosemary, Tomashek, Kay, Spangenberg, Michael, Spry, Leslie, Dwyer, Diane, Safranek, Thomas J, Ying, Christopher, Portesi, David, Divan, Hozefa, Kobrenski, John, Arduino, Matthew, Tokars, Jerom

Journal:

Kidney International

Year:

2000

Language:

english

File:

PDF, 222 KB

english, 2000

36

Abstraction of Biochemical Reaction Systems on Polytopes

Collins, Pieter J., Habets, Luc, van Schuppen, Jan H., Černá, Ivana, Fabriková, Jana, Šafránek, David

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 258 KB

english, 2011

37

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

38

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 265 KB

english, 2018

39

[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 11095 (16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings) || LNA++: Linear Noise Approximation with First and Second Order Sensitivities

Češka, Milan, Šafránek, David

Year:

2018

Language:

english

File:

PDF, 302 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски